5 Basic bounded arithmetic (BAPLaCT)